1. Abdominal imaging :
پدیدآورنده: Hiroyuki Yoshida, Simon Warfield, Michael W. Vannier (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Abdomen-- Diseases-- Imaging, Congresses,Abdomen-- Imaging, Congresses
رده :
RC944
2. Advances in artificial intelligence :
پدیدآورنده: Ebrahim Bagheri, Jackie C.K. Cheung (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.
رده :
Q334
.
C36
2018
3. Advances in biometrics :
پدیدآورنده: David Zhang, Anil K. Jain (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Biometric identification -- Congresses.,Identification -- Automation -- Congresses.,Pattern recognition systems -- Congresses.
رده :
TK7882
.
B56
D385
2006
4. Advances in brain inspired cognitive systems :
پدیدآورنده: Jinchang Ren, Amir Hussain, Jiangbin Zheng, Cheng-Lin Liu, Bin Luo, Huimin Zhao, Xinbo Zhao (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Cognitive science-- Data processing, Congresses.,User-centered system design, Congresses.,Algorithm Analysis and Problem Complexity.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Cognitive science-- Data processing.,Computer networking & communications.,Computer security.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Image processing.,User-centered system design.
رده :
QA76
.
76
.
I58
5. Advances in sport science and computer science
پدیدآورنده: editor, Mark Zhou, Hong Kong Education Society, Hong Kong.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Congresses.,Sports -- Data processing -- Congresses.,Sports sciences -- Congresses.
رده :
GV713
.
E358
2014
6. Advances in swarm intelligence. Part 1 :
پدیدآورنده: Ying Tan, Yuhui Shi, Hongwei Mo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Swarm intelligence -- Congresses.,Swarm intelligence.
7. Algorithmic decision theory :
پدیدآورنده: Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving, Congresses,Computer algorithms, Congresses,Decision making-- Data processing, Congresses
رده :
QA76
.
9
.
A96
A38
2011
8. Annual review in automatic programming.
پدیدآورنده: edited by Richard Goodman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic programming (Computer science), Congresses.,Computer programming, Congresses.
9. Applications of Evolutionary Computing :
پدیدآورنده: edited by G nther R. Raidl, Stefano Cagnoni, J rgen Branke, David Wolfe Corne, Rolf Drechsler, Yaochu Jin, Colin G. Johnson, Penousal Machado, Elena Marchiori, Franz Rothlauf, George D. Smith, Giovanni Squillero.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Evolutionary computation -- Congresses.,Evolutionary computation.,Evolutionary programming (Computer science) -- Congresses.
10. Applied parallel and scientific computing :
پدیدآورنده: Kristján Jónasson (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Parallel processing (Electronic computers) -- Congresses.,Parallel programming (Computer science) -- Congresses.,Programmation parallèle (Informatique) -- Congrès.
11. Architecture of Computing Systems - ARCS 2013 :
پدیدآورنده: Hana Kubátová, Christian Hochberger, Martin Daněk, Bernhard Sick (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer architecture -- Congresses.,Computer architecture.,Computer systems -- Congresses.
12. Automated and algorithmic debugging :
پدیدآورنده: Peter A Fritzson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
13. Automated technology for verification and analysis
پدیدآورنده: Supratik Chakraborty, Madhavan Mukund (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2012eb
14. Automated technology for verification and analysis :
پدیدآورنده: Dang Van Hung, Mizuhito Ogawa (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2013
15. Automated technology for verification and analysis
پدیدآورنده: Zhiming Liu, Anders P. Ravn (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2009
16. Automated technology for verification and analysis
پدیدآورنده: / Kedar S. Namjoshi ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses
رده :
QA
,
76
.
9
,.
A96
,
A82
,
2006
17. Automated technology for verification and analysis :
پدیدآورنده: Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
18. Automated technology for verification and analysis :
پدیدآورنده: Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
19. CONPAR 81 :
پدیدآورنده: edited by Wolfgang Händler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)
20. Computational intelligence in music, sound, art and design :
پدیدآورنده: Antonios Liapis, Juan Jesús Romero Cardalda, Anikó Ekárt (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer art, Congresses.,Computer music, Congresses.,Evolutionary programming (Computer science), Congresses.,Natural computation, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer art.,Computer music.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- User Interfaces.,Evolutionary programming (Computer science),Graphics programming.,Natural computation.,User interface design & usability.
رده :
QA76
.
618
